$\forall$$a$:Atom1, $k$:Knd. $k$:Knd$\parallel$$a$